Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

use different filenames in profiles to avoid overwritting previous profiles #40

Merged
merged 2 commits into from
Jun 7, 2024

Conversation

d-netto
Copy link
Member

@d-netto d-netto commented Jun 6, 2024

No description provided.

@d-netto d-netto requested a review from Drvi June 6, 2024 13:38
src/ProfileEndpoints.jl Outdated Show resolved Hide resolved
src/ProfileEndpoints.jl Outdated Show resolved Hide resolved
Copy link
Collaborator

@Drvi Drvi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@d-netto d-netto merged commit 41e952c into main Jun 7, 2024
10 of 12 checks passed
@d-netto d-netto deleted the dcn-do-not-overwrite-previous-profiles branch June 7, 2024 14:44
@d-netto d-netto mentioned this pull request Jun 7, 2024
d-netto added a commit that referenced this pull request Jun 7, 2024
Since we changed the file naming scheme in #40.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants